| |
|
Improving Student Understanding
About Computational
Processes,
Problem Solving
Techniques,
and Proof
Using Hand-Held
Technology
Franklin DEMANA
The Ohio State
University
U.S.A. |
 |
| |
|
Technological
Impact of
Modern Abstract
Mathematics
Tosiyasu
L. KUNII
Hosei
University
and
Monolith
Co., Ltd.
Japan |
|
| |
|
Education
meets Computer
Algebra: A
Double Challenge
Bernhard KUTZLER
University
of Linz
Austria |
|
| |
|
Computer
Algebra Systems
Ten Years
From Now
Benton Leong
Waterloo
Maple Inc.
|
Presentation
Slides |
| |
|
Practical
Automated
Reasoning
on Inequalities:
Generic Programs
for Inequality
Proving and
Discovering
Lu YANG
Guangzhou
Normal University
China |
|
| |
|
From
Arithmetic
to Algebra
and Calculus:
Making the
Rhetoric of
the Function
Approach Real
Michal YERUSHALMY
University
of Haifa
Israel |
|
| |
|
Automated
Reasoning
in ICAI
Jingzhong
ZHANG & Chuanzhong
LI
Guangzhou
Normal University
China |
|
| |
|
